asymmetric abstractions